ZHANG, Hongce - HKUST Class Schedule & Quota

Class Schedule & Quota
2026-27 Fall 2025-26 Summer 2025-26 Spring 2025-26 Winter
2026-27 Fall
Common Core Course
The class information on this page will normally be updated every 15 to 20 minutes during class enrollment period.
» Student Information System (SIS)» PG Program/Course Catalog
Notes & Links
This service was first adapted from a student contribution in 2011-12 Fall. The efforts of all concerned are duly acknowledged.

AIAA AMAT BSBE CMAA CNCC CNGF DLED DSAA EOAS FTEC FUNH INFH INTR IOTA IPEN LANG MICS MOES MSSM PDEV PLED ROAS SEEN SMMG SOCH SYSH UCMP UCUG UFUG UGOD

COURSE INFO

DESCRIPTION	This course will first discuss the traditional symbolic reasoning techniques, covering propositional logic, predicate calculus, and classical reasoning methods including Boolean satisfiability solving, model checking and interactive theorem proving. It will then explore the combination of neural networks and symbolic reasoning, including neural heuristics for symbolic reasoning, the neural logic network, the neural Turing machine, neural program induction and synthesis, etc.

DESCRIPTION

This course will first discuss the traditional symbolic reasoning techniques, covering propositional logic, predicate calculus, and classical reasoning methods including Boolean satisfiability solving, model checking and interactive theorem proving. It will then explore the combination of neural networks and symbolic reasoning, including neural heuristics for symbolic reasoning, the neural logic network, the neural Turing machine, neural program induction and synthesis, etc.

MICS 6001X - Symbolic and Neurosymbolic Reasoning (3 units)

Section	Date & Time	Room	Instructor	Quota	Enrol	Avail	Wait	Remarks
L01 (6148)	Th 01:30PM - 04:20PM	Rm 202, W1	ZHANG, Hongce	20	10	10	0